61. Intelligent computer mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
62. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
63. Logic and combinatorics
پدیدآورنده : [Edited by]& Stephen G. Simpson
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47
64. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Combinatorial analysis-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
65. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده : Stephen G. Simpson, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Combinatorial analysis
رده :
QA
9
.
A1A66
1985
66. Non-standard analysis
پدیدآورنده : / Abraham Robinson revised edition
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Mathematical analysis - Congresses,Logic, symbolic and mathematical - Congresses
رده :
515
R658
1974
67. Pacific Symposium on Biocomputing 2004 :
پدیدآورنده : edited by Russ B. Altman [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
P33
2004eb
68. Pacific Symposium on Biocomputing 2002, Kauai, Hawaii, 3-7 January 2002 /
پدیدآورنده : edited by Russ B. Altman [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
P33
2002eb
70. numeric computation-Symbolic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions ; Data processing ; Congresses. ; Numerical analysis ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
71. 8th International Conference on Automated Deduction :
پدیدآورنده : edited by Jörg H. Siekmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
72. xi, 306 p. :
پدیدآورنده : Asra Q. Nomani.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
